CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J

Source URL: www.cs.miami.edu

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Software engineering
• TPTP
• Automated reasoning
• SPASS
• Reasoning system
• Prolog
• Model elimination
• OMDoc
• System on TPTP

STRUCTURED DISCRIMINATIVE MODELS USING DEEP NEURAL-NETWORK FEATURES R. C. van Dalen, J. Yang, H. Wang, A. Ragni, C. Zhang, M. J. F. Gales Department of Engineering, University of Cambridge, United Kingdom ABSTRACT State-

Source URL: mi.eng.cam.ac.uk

• Markov models
• Machine learning
• Artificial intelligence
• Learning
• Computational linguistics
• Speech recognition software
• Computer accessibility
• Speech recognition
• Hidden Markov model
• Conditional random field
• Language model
• Image segmentation

A UNIFIED SYSTEM FOR TERRAIN ANALYSIS AND MAPPING FROM DEM AND DTM Professor Stanley H. Collins School of Engineering, University of Guelph

Source URL: mapcontext.com

• Geography
• Geographic information systems
• Cartography
• Physical geography
• Digital elevation model
• Grid
• Polygon
• Data
• Computer graphics
• MEMO Model
• Terrain
• GIS file formats

ABCD Meeting Introduction to Savara Testable Architecture January 2014 Scribble Open Source Project

Source URL: groups.inf.ed.ac.uk

• Software engineering
• Workflow technology
• Computing
• Software requirements
• Business Process Execution Language
• Process management
• Business Process Model and Notation
• Scenario
• Simulation
• Business process modeling
• Requirement

A Reduced-Dimension fMRI Shared Response Model Po-Hsuan Chen1 , Janice Chen2 , Yaara Yeshurun2 , Uri Hasson2 , James V. Haxby3 , Peter J. Ramadge1 1 Department of Electrical Engineering, Princeton University

Source URL: papers.nips.cc

• Neuroimaging
• Magnetic resonance imaging
• Neuroscience
• Cognitive neuroscience
• Functional magnetic resonance imaging
• Principal component analysis
• Braincomputer interface
• Nervous system

Source URL: www.pa.icar.cnr.it

• Software engineering
• Software requirements
• Systems engineering
• Software design
• Metamodeling
• Scientific modeling
• Object Process Methodology
• Requirement
• Non-functional requirement
• TRAK
• Model-driven architecture

How Model-Based Design Simplifies the Debugging of Many-Core Systems Iuliana Bacivarov Computer Engineering and Networks Laboratory, ETH Zürich 1st International Workshop on Multicore Application Debugging (MAD) 2013, 1

Source URL: www.mad-workshop.de

• Computing
• Parallel computing
• Tile
• Debugging
• Embedded system
• Multi-core processor
• Thread
• STR
• ETH Zurich
• Computer engineering

Developing a Business Case for Statewide Light Detection And Ranging Data Collection: Improving Nebraska’s Topographic Dataset, Enhancing our Quality of Life, Fostering Engineering and Scientific Understanding, and Sav

Source URL: watercenter.unl.edu

• Cartography
• Geography
• Geographic information systems
• Physical geography
• Lidar
• Robotic sensing
• Digital elevation model
• Topographic map
• Topography
• Photogrammetry
• Surveying
• United States Geological Survey

Call for papers and extended abstracts HILT 2016 Workshop on Model-Based Development and Contract-Based Programming As part of ESWEEK, October 6 & 7, 2016, Pittsburgh, PA Sponsored by ACM SIGAda

Source URL: www.sigada.org

• Software engineering
• Computing
• Computer programming
• Systems engineering
• Ada
• Model-driven engineering
• ACL2
• SPARK

Surface DC Voltmeter Model SVM2 Quick Start Instructions Surface DC Volt Meter Model SVM2 includes: • • •

Source URL: www.trifield.com

• Electromagnetism
• Force
• Electricity
• Electric power
• Electrical engineering
• Electrical resistance and conductance
• Insulator
• Materials
• High voltage
• Static electricity
• Voltage
• Volt